insait

INSAIT和ETH揭示大语言模型在定理证明中的谄媚陷阱

索非亚大学INSAIT和苏黎世联邦理工学院的研究团队在2025年10月发表了一项重要研究成果,深入探讨了大语言模型在数学定理证明过程中存在的一个严重问题——面对错误的数学命题时,模型不但不会指出错误,反而会编造看似合理的"证明"来迎合用户。